Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 4, 5, 7, 8, 9, 12, 13, 14, 15, 16, 20, 21, 25, 29 }

B grade: { 10 }

C grade: { 3, 6, 11, 17, 18, 19, 22, 23, 24, 26, 27, 28 }

F grade: { }

2.1.3 Maple

A grade: { 3, 4, 7, 8, 12, 20, 21 }

B grade: { 1, 2, 5, 6, 9, 10, 11, 19, 24, 25, 28, 29 }

C grade: { }

F grade: { 13, 14, 15, 16, 17, 18, 22, 23, 26, 27 }

2.1.4 Maxima

A grade: { 4, 8, 12, 21, 25 }

B grade: { 1, 2, 5, 7, 9, 10, 20, 29 }

C grade: { }

F grade: { 3, 6, 11, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 26, 27, 28 }

2.1.5 FriCAS

A grade: { 4, 8, 12, 21 }

B grade: { 3, 6, 7, 11, 19, 20, 24, 25, 28, 29 }

C grade: { 1, 2, 5, 9, 10, 17, 18, 22, 23, 26, 27 }

F grade: { 13, 14, 15, 16 }

2.1.6 Sympy

A grade: { 4, 8, 12, 21 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 5, 6, 7, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29 }

2.1.7 Giac

A grade: { 4, 8, 12, 20, 21, 25, 29 }

B grade: { 7 }

C grade: { }

F grade: { 1, 2, 3, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 26, 27, 28 }

2.1.8 Mupad

A grade: { 4, 8, 12, 21 }

B grade: { 7, 20, 25, 29 }

C grade: { }

F grade: { 1, 2, 3, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 26, 27, 28 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 149 149 191 541 333 396 0 0 -1
normalized size 1 1.00 1.28 3.63 2.23 2.66 0.00 0.00 -0.01
time (sec) N/A 0.134 0.172 0.129 0.487 1.976 0.000 0.000 0.000




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 99 99 118 306 195 242 0 0 -1
normalized size 1 1.00 1.19 3.09 1.97 2.44 0.00 0.00 -0.01
time (sec) N/A 0.088 0.116 0.115 0.417 2.237 0.000 0.000 0.000




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C A F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 174 60 0 119 0 0 -1
normalized size 1 1.00 3.48 1.20 0.00 2.38 0.00 0.00 -0.02
time (sec) N/A 0.040 0.072 0.026 0.000 0.720 0.000 0.000 0.000




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 13 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.08
time (sec) N/A 0.018 18.451 0.304 0.000 2.931 0.000 0.000 0.000




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 185 473 320 1159 0 0 -1
normalized size 1 1.00 1.80 4.59 3.11 11.25 0.00 0.00 -0.01
time (sec) N/A 0.220 0.863 0.368 1.918 1.444 0.000 0.000 0.000




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 74 74 198 240 0 623 0 0 -1
normalized size 1 1.00 2.68 3.24 0.00 8.42 0.00 0.00 -0.01
time (sec) N/A 0.144 5.452 0.360 0.000 2.291 0.000 0.000 0.000




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 52 56 91 166 0 80 49
normalized size 1 1.00 1.79 1.93 3.14 5.72 0.00 2.76 1.69
time (sec) N/A 0.031 0.098 0.384 0.407 0.849 0.000 0.119 1.405




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 15 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07
time (sec) N/A 0.030 6.850 0.319 0.000 1.393 0.000 0.000 0.000




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 256 256 440 876 605 4008 0 0 -1
normalized size 1 1.00 1.72 3.42 2.36 15.66 0.00 0.00 -0.00
time (sec) N/A 0.277 3.308 0.373 0.543 2.217 0.000 0.000 0.000




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B B C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 154 154 420 444 393 2218 0 0 -1
normalized size 1 1.00 2.73 2.88 2.55 14.40 0.00 0.00 -0.01
time (sec) N/A 0.167 6.421 0.376 0.832 0.533 0.000 0.000 0.000




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 313 197 0 1026 0 0 -1
normalized size 1 1.00 3.40 2.14 0.00 11.15 0.00 0.00 -0.01
time (sec) N/A 0.082 2.648 0.383 0.000 0.408 0.000 0.000 0.000




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 15 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07
time (sec) N/A 0.030 44.608 0.669 0.000 0.454 0.000 0.000 0.000




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 17 0 0 0 0 0 -1
normalized size 1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.108 0.109 0.015 0.000 0.000 0.000 0.000 0.000




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 24 24 17 0 0 0 0 0 -1
normalized size 1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.114 0.115 0.015 0.000 0.000 0.000 0.000 0.000




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 45 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.124 0.115 0.014 0.000 0.000 0.000 0.000 0.000




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 76 76 63 0 0 0 0 0 -1
normalized size 1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.208 0.148 0.015 0.000 0.000 0.000 0.000 0.000




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 448 448 2122 0 0 1976 0 0 -1
normalized size 1 1.00 4.74 0.00 0.00 4.41 0.00 0.00 -0.00
time (sec) N/A 0.732 27.512 1.469 0.000 0.535 0.000 0.000 0.000




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 330 330 1167 0 0 1265 0 0 -1
normalized size 1 1.00 3.54 0.00 0.00 3.83 0.00 0.00 -0.00
time (sec) N/A 0.599 10.235 1.293 0.000 0.443 0.000 0.000 0.000




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 212 212 435 483 0 692 0 0 -1
normalized size 1 1.00 2.05 2.28 0.00 3.26 0.00 0.00 -0.00
time (sec) N/A 0.351 1.394 0.769 0.000 0.431 0.000 0.000 0.000




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 30 52 83 132 0 60 31
normalized size 1 1.00 0.88 1.53 2.44 3.88 0.00 1.76 0.91
time (sec) N/A 0.089 0.023 0.131 0.676 0.448 0.000 0.140 1.338




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 35 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.108 95.576 0.990 0.000 0.406 0.000 0.000 0.000




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 696 696 3189 0 0 3847 0 0 -1
normalized size 1 1.00 4.58 0.00 0.00 5.53 0.00 0.00 -0.00
time (sec) N/A 1.283 14.307 1.773 0.000 0.507 0.000 0.000 0.000




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F C F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 510 510 2342 0 0 2410 0 0 -1
normalized size 1 1.00 4.59 0.00 0.00 4.73 0.00 0.00 -0.00
time (sec) N/A 1.109 10.425 1.701 0.000 0.464 0.000 0.000 0.000




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 327 327 1581 1012 0 1284 0 0 -1
normalized size 1 1.00 4.83 3.09 0.00 3.93 0.00 0.00 -0.00
time (sec) N/A 0.640 4.304 1.002 0.000 0.445 0.000 0.000 0.000




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 109 260 168 446 0 155 212
normalized size 1 1.00 1.15 2.74 1.77 4.69 0.00 1.63 2.23
time (sec) N/A 0.250 0.536 0.284 0.417 0.433 0.000 0.182 1.827




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F C F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 864 864 7866 0 0 7980 0 0 -1
normalized size 1 1.00 9.10 0.00 0.00 9.24 0.00 0.00 -0.00
time (sec) N/A 1.188 39.729 2.096 0.000 0.648 0.000 0.000 0.000




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F C F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 636 636 3874 0 0 4887 0 0 -1
normalized size 1 1.00 6.09 0.00 0.00 7.68 0.00 0.00 -0.00
time (sec) N/A 0.973 17.328 1.891 0.000 0.535 0.000 0.000 0.000




















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C B F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 400 400 743 1102 0 2465 0 0 -1
normalized size 1 1.00 1.86 2.76 0.00 6.16 0.00 0.00 -0.00
time (sec) N/A 0.551 5.911 1.135 0.000 0.527 0.000 0.000 0.000




















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 75 428 183 652 0 145 180
normalized size 1 1.00 0.88 5.04 2.15 7.67 0.00 1.71 2.12
time (sec) N/A 0.182 0.239 0.316 0.323 0.462 0.000 0.179 1.752










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [26] had the largest ratio of [.6071]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 9 5 1.00 14 0.357







2 A 7 4 1.00 14 0.286







3 A 5 3 1.00 12 0.250







4 A 0 0 0.00 0 0.000







5 A 6 6 1.00 16 0.375







6 A 5 5 1.00 16 0.312







7 A 2 2 1.00 14 0.143







8 A 0 0 0.00 0 0.000







9 A 15 8 1.00 16 0.500







10 A 9 6 1.00 16 0.375







11 A 6 4 1.00 14 0.286







12 A 0 0 0.00 0 0.000







13 A 4 2 1.00 20 0.100







14 A 4 2 1.00 20 0.100







15 A 5 2 1.00 20 0.100







16 A 7 5 1.00 24 0.208







17 A 17 10 1.00 26 0.385







18 A 14 9 1.00 26 0.346







19 A 11 8 1.00 24 0.333







20 A 5 4 1.00 19 0.210







21 A 0 0 0.00 0 0.000







22 A 24 15 1.00 28 0.536







23 A 21 15 1.00 28 0.536







24 A 16 11 1.00 26 0.423







25 A 6 6 1.00 21 0.286







26 A 31 17 1.00 28 0.607







27 A 24 14 1.00 28 0.500







28 A 18 13 1.00 26 0.500







29 A 5 4 1.00 21 0.190